Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
331	Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Logic in computer science Category theory Formal methods Bisimulation Functional programming Coinduction Denotational semantics F-coalgebra Robin Milner Type theory Weak equivalence
332	A REVIEW OF THE USE OF STATISTICAL REGRESSION MODELS TO INFORM COST EFFECTIVENESS ANALYSES WITHIN THE NICE TECHNOLOGY APPRAISALS PROGRAMME REPORT BY THE DECISION SUPPORT UNIT Add to Reading List Source URL: www.nicedsu.org.uk Language: English - Date: 2012-10-09 10:45:19 Regression analysis Formal sciences Econometrics Actuarial science Survival analysis Statistics Meta-analysis Linear regression
333	ICBO2015,InternationalConferenceonBiomedicalOntology2015* July,27<30,Lisbon,Portugal ! ! Mapping!WordNet!to!the!Basic!Formal!Ontology!! Add to Reading List Source URL: seljaseppala.files.wordpress.com Language: English - Date: 2015-07-30 06:15:31 Knowledge representation Information science Ontology Technical communication Semantic Web WordNet Formal ontology Draft:Outline of ontologies
334	Microsoft Word - NLA-monographdoc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-06-14 11:33:00 Semantic Web Ontology Knowledge engineering Information science Technical communication Resource Description Framework Web Ontology Language Formal ontology AllegroGraph RDF Schema SPARQL Triplestore
335	CALL FOR PAPERS SSDBM 2013: 25th International Conference on Scientific and Statistical Database Management July 29-31, 2013, Baltimore, Maryland, USA http://ssdbm2013.org Important Dates: Add to Reading List Source URL: www.ssdbm2013.org Language: English - Date: 2013-02-20 13:06:08 Scientific method Formal sciences Alex Szalay Database Statistical database Statistics Research Computational science
336	SURVEY ON NON-FORMAL AND INFORMAL LEARNING ACTIVITIES IN PUBLIC LIBRARIES ACROSS EUROPE INTRODUCTION Add to Reading List Source URL: www.eblida.org Language: English - Date: 2016-05-31 12:15:10 Educational psychology Library science Distance education Nonformal learning Informal learning Public library Library Educational technology Learning Education M-learning Prison library
337	Fiat and Bona Fide Boundaries Barry Smith Department of Philosophy and Center for Cognitive Science State University of New York at Buffalo, Buffalo, NY Achille C. Varzi Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2014-04-26 05:52:25 Ontology Fiat Automobiles Mereotopology Mereology Formal ontology Fiat Barry Smith Computer representation of surfaces Surface Dimension
338	Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2016-07-28 16:53:46 Model theory Logic in computer science Semantics Formal languages Logical truth Satisfiability modulo theories Interpretation Quantifier elimination True quantified Boolean formula Quantifier Substitution Well-formed formula
339	Ontology Application to the Problem of Maritime Traffic Analysis and Understanding Ontological Approaches to Sensor Data Analysis May, 2016 John McDowall Add to Reading List Source URL: ncgia.buffalo.edu Language: English - Date: 2016-05-27 23:40:47 Ontology Knowledge representation Information science Technical communication Semantic Web Upper ontology Formal ontology Web Ontology Language GeoSPARQL Class Draft:Outline of ontologies
340	The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-07-11 15:25:07 Functional languages Lisp Automated theorem proving Theoretical computer science Procedural programming languages ACL2 Nqthm J Strother Moore ACL Common Lisp Formal methods Automated reasoning

UPDATE